• الرئیسیة
  • البحث المتقدم
  • قائمة المکتبات
  • حول الموقع
  • اتصل بنا
  • نشأة
تعداد ۲ پاسخ غیر تکراری از ۲ پاسخ تکراری در مدت زمان ۰,۷۲ ثانیه یافت شد.

1. Satisfiability problem

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

المؤلف: / Dingzhu Du, Jun Gu, Panos M. Pardalos, editors

المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع: Propositional calculus- Congresses,Decision making- Congresses,Computer algorithms- Congresses,Computer science- Congresses

رده :
QA9
.
3
.
S38
1997

2. Satisfiability problem :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

المؤلف: Dingzhu Du, Jun Gu, Panos M. Pardalos, editors

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer algorithms, Congresses,Computer science, Congresses,Decision making, Congresses,Propositional calculus, Congresses

رده :
QA9
.
3
.
S38
1997
  • »
  • 1
  • «

الاقتراح / اعلان الخلل

تحذیر! دقق في تسجیل المعلومات
ارسال عودة
تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال